OCPN装备综合保障工作流引擎设计

针对装备综合保障工作流建模要求,构建了对象有色Petri网(Object-Oriented Colored Petri Net,OCPN)模型,给出该模型的形式化定义。结合装备使用过程综合保障工作,建立基于OCPN的工作流模型。根据工作流的执行过程,进行了工作流引擎体系结构以及相关类的设计,为工作流模型的计算机化以及工作流管理系统设计与实现提供了一种新的思路。     

高炮旅(团)作战面向对象Petri网模型

概要分析了高炮旅(团)指挥控制与信息处理分发过程,对基本Petri进行扩展构建了面向对象Petri网模型,采用其分层次构建了高炮旅(团)作战OPN模型,较好地实现了对传统指控体制下高炮群作战与信息分发过程的静态与动态描述,为下一步具体仿真实现,找出现有传统指控体制存在的薄弱环节,进行相应改进提供了基础和依据。     

基于CPN建模的行动方案开发与分析系统设计

协助和支持军事计划人员制订和分析作战计划的建模与仿真能力是军方的现行需求,而行动方案的开发与分析则是作战计划建模与仿真的重点。针对作战计划过程期间开发的军事任务的排序与调度问题,设计了一个行动方案开发与分析系统,系统采用客户机-服务器体系结构,运用基于有色Petri网建模的军事计划领域的概念表示法,并使用状态空间分析技术完成军事任务的自动化排序与调度。军事计划人员通过图形用户界面使用系统,在面对紧急突发事件时,可以快速及时地开发出适当可行的COA,并对COA进行逻辑可行性分析。     

HLA数据回放及其可通用性问题研究

为了给HLA分布仿真系统提供运行数据的回放能力并解决各种回放策略都必须面对的数据完备、时序准确、运行高效及回放方法的可通用性等问题,对HLA联邦中的数据回放问题进行了研究,分析了HLA仿真中的回放需求以及HLA对回放实现技术的影响,指出回放方法的可通用性实质上是联邦独立性的概念,研究了将回放数据对象化处理的方法,针对成员式数据回放策略、基于对象序列化技术和成员自动生成技术提出了一种可通用的HLA数据回放实现方案,最后介绍了通用HLA数据回放工具的应用情况。     

C3I系统仿真及仿真环境研究

首先讨论了C3I系统开发中存在的问题并提出解决这些问题的重要性,然后从C3I系统描述模型和仿真环境两个方面,介绍了国内外对于C3I系统仿真的研究现状和发展趋势.最后介绍了我们正在研制的基于对象Petri网的仿真演示环境的特点以及设计和实现方法.     

攻防对抗中弹道仿真的设计与实现

在攻防对抗仿真试验中,为了验证导弹性能、分析导弹战术指标,需要进行导弹群复杂环境下的弹道仿真试验,这给仿真实现带来了一定的困难。针对这一困难,在详细分析了六自由度下的弹道仿真的复杂情况的基础上,利用分布式计算的原理和标准,探讨了分布式仿真在导弹群复杂环境下弹道仿真中的应用方法及实现途径。     

用CORBA技术构建分布对象应用系统

首先讨论了网络计算面临的问题和分布对象计算技术,然后详细讨论了分布对象计算标准——公共对象请求代理结构（ＣＯＲＢＡ）规范的体系和各个部分．最后,对基于ＣＯＲＢＡ的分布对象计算的优点及前景作了讨论．     

基于GIS实现信息可视化

通过建立键值及采用相关技术增强地理信息系统的信息处理能力,对某应用系统中完成的主要信息处理功能及技术要点进行了探讨．     

基于软件构件技术的信息系统开发

对于基于软件构件技术的信息系统开发,通过分析信息系统的特点,提出了信息系统对象模型和信息系统中软件构件的构架方法。并据此提出了建立信息系统的四层次结构模型。在此基础上设计和实现了院办公室信息系统。     

校园网建设中的几个问题

通过介绍我院在建设校园网过程中的基本做法和初步经验,对网络技术特别是1000M以太网技术,进行了简单分析和研究,提出了基于Intel网络设备的千兆校园网解决方案,强调指出:建设先进高效的校园网,开展多媒体网络教学,创建信息化教学环境,是信息时代军事教育训练改革的必由之路。